… steps, their variables should have Endpoints

feat_integrity: written functions to create maps

feat_integrity: wrote intermidiate to endpoints function with Data.Map

feat_integrity: added endpoint to instruction check

feat_integrity: check to one more test

refactor_integrity: changed to variables function

feat_integrity: rewritten check integrity method (not working)

feat_integrity: added IntegrityCheck file in src

feat_integrity: fixed endpoint map generation

feat_integrity: added isEndpoint method to Utils

feat_integrity: change using to internal integrity test, cleaning in IntegrityCheck

feat_integrity: added function to intermediate relation check

feat_integrity: added check endpoints to instructions

fix_integrity: added IntegrityCheck to cabal

refactor_integrity: renamed functions

refactor_integrity: fixed variable names

fix_integrity: fixed two same keys bug

feat_integrity: added broken test prototype

fix_integrity: removed pid and fixed wrong functions

Fix function - endpoint vertical relation in Fram.

Remove unnecessary code duplication in Fram

Migrate to `scheduleFunctionFinish`

Add horizontal relations

Remove establishVerticalRelation (swap by establishVerticalRelations)

test_integrity: added puCoSim, finitePuSynth positive test

fix_integrity: fixed name, added tests

feat_integrity: updated Utils API

feat_integrity: added prototype for vertical CAD function check

fix_integrity: reworked get.*Map functions, returned old implementation for Broken epDecision

Make data Relations more explicit (require for UI use)

trying to extract variable from Transport (Bus.hs)

feat_integrity: replaced transport to function relations (with cartesian mul)

feat_integrity: test with Transport extraction

integrity: added Eq to make reversed Relation equal. Added transport filter for PU

feat_integrity: prototype (simple) for check Transport to Function

fix_integrity: refactored most functions, fixed bug in Eq of Relation

feat_edsl: returned default deriving Relation

fix_edsl: refactored CAD tests, now it not fails

fix_edsl: refactor before merge to original branch

fix_integrity: fixed merge error

refactor_edsl: added error print when element in not found in map. Added templates for future typeclass.

refactor_integrity: added implementation to ProcessConsistent typeclass.

refactor_integrity: commented negative tests. Modified existing tests to be able to test integrity.

feat_integrity: added assertConsistency to DSL

fix_integrity: removed checkIntegrity, replaced order of some functions, added detailed error (debug purpose). Rearranged tests in broken.

fix_edsl: removed ProcessConsistent instance for BusNetwork

fix_integrity: added incoherent for `Bus` in `ProcessConsistest`

fix_edsl: now can compile with BusNetwork instance of ProcessConsistent

Fix errors, which prevent building.

…der.